新しいプログラミング・パラダイム④ マルセイユProlog，PrologII，PrologIII